$\forall$${\it es}$:ES. es\_info(${\it es}$) $\in$ E$\rightarrow$(Id$\times$Id+(IdLnk$\times$E)$\times$Id)